منابع مشابه
Normal Forms for the Algebraic Lambda-Calculus
We study the problem of defining normal forms of terms for the algebraic λ-calculus, an extension of the pure λ-calculus where linear combinations of terms are first-class entities: the set of terms is enriched with a structure of vector space, or module, over a fixed semiring. Towards a solution to the problem, we propose a variant of the original reduction notion of terms which avoids annoyin...
متن کاملNormal Forms in Perturbation Theory
Normal form procedure This is the stepwise ‘simplification’ by changes of coordinates, of the Taylor series at an equilibrium point, or of similar series at periodic or quasi-periodic solutions. Preservation of structure The normal form procedure is set up in such a way that all coordinate changes preserve a certain appropriate structure. This applies to the class of Hamiltonian or volume prese...
متن کاملModular Forms and Algebraic K-theory
In this paper, which follows closely the talk given at the conference, I will sketch an example of a non-trivial element of K2 of a certain threefold, whose existence is related to the vanishing of an incomplete L-function of a modular form at s = 1. To explain how this fits into a general picture, we begin with a simple account, for the non-specialist, of some of the conjectures (mostly due to...
متن کاملAlgebraic K-Theory and Quadratic Forms
The first section of this paper defines and studies a graded ring K . F associated to any field F. By definition, K~F is the target group of the universal n-linear function from F ~ x ... • F ~ to an additive group, satisfying the condition that al • " ' x a, should map to zero whenever a i -q-a i + ~ = 1. Here F ~ denotes the multiplicative group F 0 . Section 2 constructs a homomorphism ~: K,...
متن کاملRepresentation Theory of Reductive Normal Algebraic Monoids
New results in the representation theory of “semisimple” algebraic monoids are obtained, based on Renner’s monoid version of Chevalley’s big cell. (The semisimple algebraic monoids have been classified by Renner.) The rational representations of such a monoid are the same thing as “polynomial” representations of the associated reductive group of units in the monoid, and this representation cate...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1995
ISSN: 0168-0072
DOI: 10.1016/0168-0072(93)e0084-2